Mémoire sur les surfaces

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...

Mémoire Sur Les Probabilités∗

I intend to treat in this Memoir two important points in the analysis of chances which do not seem yet to have been sufficiently deeply studied: the first has for object the manner of calculating the probability of events composed of simple events of which one does not know the respective probabilities; the object of the second is the influence of past events on the probability of future events...

Mémoire Sur Les Suites

The theory of series is one of the most important objects of Analysis: all problems which reduce to some approximations, and consequently nearly all the applications of Mathematics to Nature, depend on this theory; thus we see that it has principally fixed the attention of the geometers; they have found a great number of beautiful theorems and ingenious methods, either in order to expand functi...

Résonance paramagnétique sur les phosphores

Marches Aléatoires sur les Groupes

Dans cet article, on va étudier les marches aléatoires sur les graphes et sur les groupes. Enfin, on trouvera une condition nécessaire et suffisante pour la récurrence des marches aléatoires sur les groupes. La condition est très similaire à celle des marches aléatoires sur Zd. La démonstration qu’on donnera est la plus courte. Cependant, on admet le théorème 4.15 de Gromov sur la relation entr...